combinator calculus造句

The Combinator calculus is such a model.
It is a remarkable fact that s and k are sufficient to perform any calculation, as described in SKI combinator calculus.
However, the elements of the Combinator calculus are functions from functions to functions; in order for the elements of a model of the lambda calculus to be of arbitrary domain and range, they could not be true functions, only partial functions.
It's difficult to find combinator calculus in a sentence. 用combinator calculus造句挺难的